1

Did Euclid Need the Euclidean Algorithm to Prove Unique Factorization?

Year:
2006
Language:
english
File:
PDF, 1.28 MB
english, 2006
2

Is 0.999 ... = 1?

Year:
1999
Language:
english
File:
PDF, 583 KB
english, 1999
3

A Circular Argument

Year:
1993
Language:
english
File:
PDF, 378 KB
english, 1993
4

Existence Proofs

Year:
1999
Language:
english
File:
PDF, 606 KB
english, 1999
5

A Constructive Proof of Gleason's Theorem

Year:
1999
Language:
english
File:
PDF, 167 KB
english, 1999
6

Bounded linear mappings of finite rank

Year:
1981
Language:
english
File:
PDF, 322 KB
english, 1981
7

Algebraic Functions, Calculus Style

Year:
2012
Language:
english
File:
PDF, 173 KB
english, 2012
8

10.2307/2689281

Year:
1974
Language:
english
File:
PDF, 130 KB
english, 1974
9

Real numbers and other completions

Year:
2008
Language:
english
File:
PDF, 135 KB
english, 2008
10

Direct sums of countable groups and related concepts

Year:
1965
Language:
english
File:
PDF, 397 KB
english, 1965
11

Subgroups of finite direct sums of valuated cyclic groups

Year:
1988
Language:
english
File:
PDF, 797 KB
english, 1988
12

Valuation theory: A constructive view

Year:
1984
Language:
english
File:
PDF, 1.22 MB
english, 1984
14

Compactly generated Banach spaces

Year:
1981
Language:
english
File:
PDF, 238 KB
english, 1981
15

Meaning and Information in Constructive Mathematics

Year:
1982
Language:
english
File:
PDF, 562 KB
english, 1982
16

The Ascending Tree Condition: Constructive Algebra Without Countable Choice

Year:
2003
Language:
english
File:
PDF, 395 KB
english, 2003
19

Separable Extensions and Diagonalizability

Year:
1990
Language:
english
File:
PDF, 512 KB
english, 1990
20

Generalized Quotient Rings

Year:
1965
Language:
english
File:
PDF, 234 KB
english, 1965
21

Separable Extensions and Diagonalizability

Year:
1990
Language:
english
File:
PDF, 497 KB
english, 1990
22

Growing Forests in Abelianp-Groups

Year:
1997
Language:
english
File:
PDF, 115 KB
english, 1997
23

Filtered Modules over Discrete Valuation Domains

Year:
1998
Language:
english
File:
PDF, 275 KB
english, 1998
24

Simply presented valuated abelian p-groups

Year:
1977
Language:
english
File:
PDF, 617 KB
english, 1977
25

Pi-balanced torsion-free modules over a discrete valuation domain

Year:
2006
Language:
english
File:
PDF, 165 KB
english, 2006
26

Valuated groups

Year:
1979
Language:
english
File:
PDF, 1.27 MB
english, 1979
27

Gleason's Theorem Has a Constructive Proof

Year:
2000
Language:
english
File:
PDF, 44 KB
english, 2000
28

Church's Thesis Without Tears

Year:
1983
Language:
english
File:
PDF, 211 KB
english, 1983
30

Existence Theorems for Warfield Groups

Year:
1978
Language:
english
File:
PDF, 521 KB
english, 1978
31

Minimal Zero-Dimensional Extensions of Rings of Dimension Greater than One

Year:
2012
Language:
english
File:
PDF, 149 KB
english, 2012
32

Simply presented tag modules

Year:
1999
Language:
english
File:
PDF, 823 KB
english, 1999
33

Van Der Waerden's Construction of a Splitting Field

Year:
2006
Language:
english
File:
PDF, 93 KB
english, 2006
34

Nice subgroups of mixed local groups

Year:
1983
Language:
english
File:
PDF, 323 KB
english, 1983
35

Walker's Cancellation Theorem

Year:
2014
Language:
english
File:
PDF, 122 KB
english, 2014
37

General p -valuations on abelian groups

Year:
1991
Language:
english
File:
PDF, 594 KB
english, 1991
39

The constructive theory of torsion-free abelian groups

Year:
1990
Language:
english
File:
PDF, 414 KB
english, 1990
40

Computable Calculusby Oliver Aberth

Year:
2002
Language:
english
File:
PDF, 171 KB
english, 2002
41

Weakly integrally closed domains:minimum polynomials of matrices

Year:
2000
Language:
english
File:
PDF, 509 KB
english, 2000
42

E1860

Year:
1967
Language:
english
File:
PDF, 289 KB
english, 1967
43

Reviews

Year:
1986
Language:
english
File:
PDF, 406 KB
english, 1986
44

When R ( X ) and R ⟨ X ⟩ Sre Clean: A Constructive Treatment

Year:
2015
Language:
english
File:
PDF, 118 KB
english, 2015
45

Zero sets of univariate polynomials

Year:
2010
Language:
english
File:
PDF, 393 KB
english, 2010
46

E3386

Year:
1992
File:
PDF, 365 KB
1992
47

E3386

Year:
1992
Language:
english
File:
PDF, 365 KB
english, 1992
48

Subspaces of the Vector Space of 2-by-2 Matrices: 10813

Year:
2002
Language:
english
File:
PDF, 118 KB
english, 2002